Esterel Technologies announces Esterel Studio release 3.1
New version includes automatic test pattern generation to ensure 100% test coverage
Paris, June 11th, 2001. Esterel Technologies, a leading supplier of software development
tools for electronic systems and embedded software, announces the release of version 3.1, a
new version of its flagship product Esterel Studio.
Esterel Technologies provides electronic systems as well as embedded software designers
with a methodology and tools to secure their design flow at the earliest stage, while reducing
their overall design and verification costs. Its product Esterel Studio uses Formal Methods to
automate the painstaking work of verifying and testing designs.
Esterel Studio 3.1 builds on the capability of Esterel Studio 3.0 by adding new significant
functionalities:
- Automatic test coverage reporting which helps designers to measure the progress of their
testing campaign
- Automatic test vectors generation generated vector set being extremely efficient and
compact
- Graphical waveform viewing through the support of standard test vectors formats like
VCD
- Enhanced verification performance allowing the Verifier to run significantly faster and
tackle problems dramatically larger compared to the previous releases
- Ability to generate C++ code in addition to the currently available C
Esterel Studio 3.1 will be available for customer shipments by the end of September 2001.
About Esterel Technologies:
Paving the way to trusted design of electronic systems and safe embedded software, Esterel
Technologies provides a unique solution with its highly differentiated product: Esterel Studio.
Esterel Studio is a development tool that provides the powerful combination of formal proof
technologies and a full functional coverage at the highest levels of abstraction, ranging from
specifications, simulation, test generation and coverage, property proof, and code generation.
In particular, Esterel Studio automates the difficult and costly verification and validation work
of embedded systems, in software and/or hardware environments.
http://www.esterel-technologies.com
For more information, contact:
Hassan Laasri Tel 00 33 1 30 12 27 42
(Esterel Technologies) E-mail: hassan.laasri@esterel-technologies.com
UK: Europe:
Peter Hayward Fred Santamaria
Vector Marketing Communications Tel: 00 33 6 07 83 60 42
Tel: +44 01442 877167 Email: fredmarcom.aol.com
Fax: +44 01442 877769
Email: peter.hayward@vector.co.uk
j0689.ss
|
|
CaféTalk |
